Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach
نویسنده
چکیده
An extended entity-relationship model concentrating nearly all concepts of known \semantic" data models and especially allowing arbitrary user de ned data types is introduced. The semantics of the model is described purely in algebraic terms mainly based on the notions of signature, algebra and extension. On this basis a calculus making intensive use of abstract data types is de ned and employed for the formulation of typical integrity constaints like functional restrictions and key speci cations.
منابع مشابه
Towards Schema Queries for Semantic Data Models
We contribute to metadata management by giving a speciication of extended Entity-Relationship schemas with the extended Entity-Relationship model itself. We formulate a number of integrity constraints describing the context-sensitive requirements an extended Entity-Relationship schema has to ful-ll. By doing this, a certain class of schema queries can be formulated.
متن کاملTowards a Conceptual Model for the Environmentof the Algebraic Speci cation Language ACT ONE
Due to the interactive nature of the speciication task, it is desirable and necessary for a speciication environment to support a collection of pre-deened or already veriied modules on secondary storage. This possibility also enhances the modularity features of speciication languages. The present paper deenes a conceptual model for the algebraic speciication language ACT ONE and its accompanyin...
متن کاملExtended Entity-Relationship Model
DEFINITION The extended entity-relationship (EER) model is a language for definition of structuring (and functionality) of database or information systems. It uses inductive development of structuring. Basic attributes are assigned to base data types. Complex attributes can be constructed by applying constructors such as tuple, list or set constructors to attributes that have already been const...
متن کاملVisual Specification of Complex Database Actions
The paper presents an approach to specify in an integrated way by visual , diagrammatic languages the structural and behavioural aspects of database applications. Hereby, well-known extended Entity-Relationship diagrams are employed to specify the structural aspects. The behavioural aspects of a database application are speciied by using ViAL (Visual Action Language). ViAL speciications are a s...
متن کاملVisual Speci cation of Complex Database Actions
The paper presents an approach to specify in an integrated way by visual, diagrammatic languages the structural and behavioural aspects of database applications. Hereby, well-known extended Entity-Relationship diagrams are employed to specify the structural aspects. The behavioural aspects of a database application are speci ed by using ViAL (Visual Action Language). ViAL speci cations are a sp...
متن کامل